Abstract interpretation

Results: 510



#Item
11Why is distributivity so hard? New evidence from distributive markers and licensors in Czech Jakub Dotlačil Abstract: Sentences with pluralities can be interpreted in several ways. One such interpretation involves colle

Why is distributivity so hard? New evidence from distributive markers and licensors in Czech Jakub Dotlačil Abstract: Sentences with pluralities can be interpreted in several ways. One such interpretation involves colle

Add to Reading List

Source URL: jakubdotlacil.com

Language: English - Date: 2016-05-30 05:11:15
    12Determinate Imperative Programming Determinate Imperative Programming A clocked interpretation of imperative syntax (Extended Abstract) Vijay Saraswat

    Determinate Imperative Programming Determinate Imperative Programming A clocked interpretation of imperative syntax (Extended Abstract) Vijay Saraswat

    Add to Reading List

    Source URL: www.saraswat.org

    Language: English - Date: 2011-09-03 15:25:58
      13BART GEURTS DONKEY BUSINESS ABSTRACT. In this paper I present experimental data showing that the interpretation of donkey sentences is influenced by certain aspects of world knowledge that seem to

      BART GEURTS DONKEY BUSINESS ABSTRACT. In this paper I present experimental data showing that the interpretation of donkey sentences is influenced by certain aspects of world knowledge that seem to

      Add to Reading List

      Source URL: ncs.ruhosting.nl

      Language: English - Date: 2008-10-08 07:37:03
        14Twenty (simple) questions Yuval Dagan, Yuval Filmus, Ariel Gabizon, and Shay Moran April 20, 2017 Abstract A basic combinatorial interpretation of Shannon’s entropy function is via the “20 questions”

        Twenty (simple) questions Yuval Dagan, Yuval Filmus, Ariel Gabizon, and Shay Moran April 20, 2017 Abstract A basic combinatorial interpretation of Shannon’s entropy function is via the “20 questions”

        Add to Reading List

        Source URL: www.cs.toronto.edu

        Language: English - Date: 2017-04-20 03:30:15
          15ON THE SECOND TATE–SHAFAREVICH GROUP OF A 1–MOTIVE PETER JOSSEN Abstract. We prove finiteness results for Tate–Shafarevich groups in degree 2 associated with 1–motives. We give a number theoretic interpretation o

          ON THE SECOND TATE–SHAFAREVICH GROUP OF A 1–MOTIVE PETER JOSSEN Abstract. We prove finiteness results for Tate–Shafarevich groups in degree 2 associated with 1–motives. We give a number theoretic interpretation o

          Add to Reading List

          Source URL: www.jossenpeter.ch

          Language: English - Date: 2013-02-20 08:24:10
            16Jan-Willem Romeijn Conditioning and Interpretation Shifts Abstract. This paper develops a probabilistic model of belief change under interpretation shifts, in the context of a problem case from dynamic epistemic logic.

            Jan-Willem Romeijn Conditioning and Interpretation Shifts Abstract. This paper develops a probabilistic model of belief change under interpretation shifts, in the context of a problem case from dynamic epistemic logic.

            Add to Reading List

            Source URL: www.philos.rug.nl

            Language: English - Date: 2013-11-14 05:38:49
              17Result graphs for an abstract interpretation-based static analyzer ∗ Pascal Cuoq

              Result graphs for an abstract interpretation-based static analyzer ∗ Pascal Cuoq

              Add to Reading List

              Source URL: www.staticanalysis.org

              Language: English - Date: 2018-08-17 11:36:52
                18Small Witnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, FRennes, France

                Small Witnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, FRennes, France

                Add to Reading List

                Source URL: people.rennes.inria.fr

                Language: English - Date: 2014-09-03 04:27:30
                  19Compilation and Program Analysis (#8) : Abstract Interpretation Laure Gonnord http://laure.gonnord.org/pro/teaching/capM1.html Master 1, ENS de Lyon

                  Compilation and Program Analysis (#8) : Abstract Interpretation Laure Gonnord http://laure.gonnord.org/pro/teaching/capM1.html Master 1, ENS de Lyon

                  Add to Reading List

                  Source URL: laure.gonnord.org

                  Language: English - Date: 2017-11-22 05:22:12
                    20Lab Abstract Interpretation, Lab and Project 1.1 Exercises with Pagai http://pagai.forge.imag.fr/ Preparation

                    Lab Abstract Interpretation, Lab and Project 1.1 Exercises with Pagai http://pagai.forge.imag.fr/ Preparation

                    Add to Reading List

                    Source URL: laure.gonnord.org

                    Language: English